Robinson unification algorithm
罗宾逊合一算法
热门查询
- profits n. [会计] 收益，红利；盈利（profit的复数）
- Wanless [人名] 万利斯
- wedged adj. 楔形的 v. 锲入（wedge的过去式和过去分词）
- palladium n. [化学] 钯；守护神
- outlet n. 出口，排放孔；[电] 电源插座；销路；发泄的方法；批发商店
- bitter n. 苦味；苦啤酒 adj. 苦的；痛苦的；尖刻的；充满仇恨的 vt. 使变苦 adv. 激烈地；严寒刺骨地 n. (Bitter)人名；(英、法、德、芬、捷、匈)比特
- poker n. 拨火棍；纸牌戏；（用棍）戳的人 vt. 烙制
- spasmodic adj. 痉挛的，痉挛性的；间歇性的
- luxembourg n. 卢森堡公国；卢森堡（卢森堡公国首都）
- tow n. 拖；麻的粗纤维；拖曳所用之绳 vt. 拖；牵引；曳 vi. 被拖带；拖行 n. (Tow)人名；(东南亚国家华语)道
- computerisation n. <主英> = computerization
- interphone n. 对讲机；[通信] 互通机
- rig n. 装备；钻探设备；服装；[船] 帆装 vt. 操纵；装配；装扮；装上索具
- peculate vt. 盗用，挪用（公款等） vi. 盗用，挪用（公款等）
- scapegoat n. 替罪羊，替人顶罪者；替身 vt. 使成为…的替罪羊
- sidehill n. 山坡；山侧 adj. 山坡上的
- cleanliness n. 清洁
- translator n. 译者；翻译器
- tonsorial adj. 理发的；理发师的
- distillation n. 精馏，蒸馏，净化；蒸馏法；精华，蒸馏物
